Optimal. Leaf size=241 \[ \frac{12 f^2 (e+f x) \text{PolyLog}\left (2,-i e^{c+d x}\right )}{a d^3}-\frac{12 f^3 \text{PolyLog}\left (3,-i e^{c+d x}\right )}{a d^4}-\frac{6 i f^2 (e+f x) \cosh (c+d x)}{a d^3}+\frac{6 f (e+f x)^2 \log \left (1+i e^{c+d x}\right )}{a d^2}+\frac{3 i f (e+f x)^2 \sinh (c+d x)}{a d^2}+\frac{6 i f^3 \sinh (c+d x)}{a d^4}-\frac{i (e+f x)^3 \cosh (c+d x)}{a d}-\frac{(e+f x)^3 \tanh \left (\frac{c}{2}+\frac{d x}{2}+\frac{i \pi }{4}\right )}{a d}-\frac{(e+f x)^3}{a d}+\frac{(e+f x)^4}{4 a f} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.526142, antiderivative size = 241, normalized size of antiderivative = 1., number of steps used = 14, number of rules used = 11, integrand size = 31, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.355, Rules used = {5557, 3296, 2637, 32, 3318, 4184, 3716, 2190, 2531, 2282, 6589} \[ \frac{12 f^2 (e+f x) \text{PolyLog}\left (2,-i e^{c+d x}\right )}{a d^3}-\frac{12 f^3 \text{PolyLog}\left (3,-i e^{c+d x}\right )}{a d^4}-\frac{6 i f^2 (e+f x) \cosh (c+d x)}{a d^3}+\frac{6 f (e+f x)^2 \log \left (1+i e^{c+d x}\right )}{a d^2}+\frac{3 i f (e+f x)^2 \sinh (c+d x)}{a d^2}+\frac{6 i f^3 \sinh (c+d x)}{a d^4}-\frac{i (e+f x)^3 \cosh (c+d x)}{a d}-\frac{(e+f x)^3 \tanh \left (\frac{c}{2}+\frac{d x}{2}+\frac{i \pi }{4}\right )}{a d}-\frac{(e+f x)^3}{a d}+\frac{(e+f x)^4}{4 a f} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5557
Rule 3296
Rule 2637
Rule 32
Rule 3318
Rule 4184
Rule 3716
Rule 2190
Rule 2531
Rule 2282
Rule 6589
Rubi steps
\begin{align*} \int \frac{(e+f x)^3 \sinh ^2(c+d x)}{a+i a \sinh (c+d x)} \, dx &=i \int \frac{(e+f x)^3 \sinh (c+d x)}{a+i a \sinh (c+d x)} \, dx-\frac{i \int (e+f x)^3 \sinh (c+d x) \, dx}{a}\\ &=-\frac{i (e+f x)^3 \cosh (c+d x)}{a d}+\frac{\int (e+f x)^3 \, dx}{a}+\frac{(3 i f) \int (e+f x)^2 \cosh (c+d x) \, dx}{a d}-\int \frac{(e+f x)^3}{a+i a \sinh (c+d x)} \, dx\\ &=\frac{(e+f x)^4}{4 a f}-\frac{i (e+f x)^3 \cosh (c+d x)}{a d}+\frac{3 i f (e+f x)^2 \sinh (c+d x)}{a d^2}-\frac{\int (e+f x)^3 \csc ^2\left (\frac{1}{2} \left (i c+\frac{\pi }{2}\right )+\frac{i d x}{2}\right ) \, dx}{2 a}-\frac{\left (6 i f^2\right ) \int (e+f x) \sinh (c+d x) \, dx}{a d^2}\\ &=\frac{(e+f x)^4}{4 a f}-\frac{6 i f^2 (e+f x) \cosh (c+d x)}{a d^3}-\frac{i (e+f x)^3 \cosh (c+d x)}{a d}+\frac{3 i f (e+f x)^2 \sinh (c+d x)}{a d^2}-\frac{(e+f x)^3 \tanh \left (\frac{c}{2}+\frac{i \pi }{4}+\frac{d x}{2}\right )}{a d}+\frac{(3 f) \int (e+f x)^2 \coth \left (\frac{c}{2}-\frac{i \pi }{4}+\frac{d x}{2}\right ) \, dx}{a d}+\frac{\left (6 i f^3\right ) \int \cosh (c+d x) \, dx}{a d^3}\\ &=-\frac{(e+f x)^3}{a d}+\frac{(e+f x)^4}{4 a f}-\frac{6 i f^2 (e+f x) \cosh (c+d x)}{a d^3}-\frac{i (e+f x)^3 \cosh (c+d x)}{a d}+\frac{6 i f^3 \sinh (c+d x)}{a d^4}+\frac{3 i f (e+f x)^2 \sinh (c+d x)}{a d^2}-\frac{(e+f x)^3 \tanh \left (\frac{c}{2}+\frac{i \pi }{4}+\frac{d x}{2}\right )}{a d}+\frac{(6 i f) \int \frac{e^{2 \left (\frac{c}{2}+\frac{d x}{2}\right )} (e+f x)^2}{1+i e^{2 \left (\frac{c}{2}+\frac{d x}{2}\right )}} \, dx}{a d}\\ &=-\frac{(e+f x)^3}{a d}+\frac{(e+f x)^4}{4 a f}-\frac{6 i f^2 (e+f x) \cosh (c+d x)}{a d^3}-\frac{i (e+f x)^3 \cosh (c+d x)}{a d}+\frac{6 f (e+f x)^2 \log \left (1+i e^{c+d x}\right )}{a d^2}+\frac{6 i f^3 \sinh (c+d x)}{a d^4}+\frac{3 i f (e+f x)^2 \sinh (c+d x)}{a d^2}-\frac{(e+f x)^3 \tanh \left (\frac{c}{2}+\frac{i \pi }{4}+\frac{d x}{2}\right )}{a d}-\frac{\left (12 f^2\right ) \int (e+f x) \log \left (1+i e^{2 \left (\frac{c}{2}+\frac{d x}{2}\right )}\right ) \, dx}{a d^2}\\ &=-\frac{(e+f x)^3}{a d}+\frac{(e+f x)^4}{4 a f}-\frac{6 i f^2 (e+f x) \cosh (c+d x)}{a d^3}-\frac{i (e+f x)^3 \cosh (c+d x)}{a d}+\frac{6 f (e+f x)^2 \log \left (1+i e^{c+d x}\right )}{a d^2}+\frac{12 f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac{6 i f^3 \sinh (c+d x)}{a d^4}+\frac{3 i f (e+f x)^2 \sinh (c+d x)}{a d^2}-\frac{(e+f x)^3 \tanh \left (\frac{c}{2}+\frac{i \pi }{4}+\frac{d x}{2}\right )}{a d}-\frac{\left (12 f^3\right ) \int \text{Li}_2\left (-i e^{2 \left (\frac{c}{2}+\frac{d x}{2}\right )}\right ) \, dx}{a d^3}\\ &=-\frac{(e+f x)^3}{a d}+\frac{(e+f x)^4}{4 a f}-\frac{6 i f^2 (e+f x) \cosh (c+d x)}{a d^3}-\frac{i (e+f x)^3 \cosh (c+d x)}{a d}+\frac{6 f (e+f x)^2 \log \left (1+i e^{c+d x}\right )}{a d^2}+\frac{12 f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{a d^3}+\frac{6 i f^3 \sinh (c+d x)}{a d^4}+\frac{3 i f (e+f x)^2 \sinh (c+d x)}{a d^2}-\frac{(e+f x)^3 \tanh \left (\frac{c}{2}+\frac{i \pi }{4}+\frac{d x}{2}\right )}{a d}-\frac{\left (12 f^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(-i x)}{x} \, dx,x,e^{2 \left (\frac{c}{2}+\frac{d x}{2}\right )}\right )}{a d^4}\\ &=-\frac{(e+f x)^3}{a d}+\frac{(e+f x)^4}{4 a f}-\frac{6 i f^2 (e+f x) \cosh (c+d x)}{a d^3}-\frac{i (e+f x)^3 \cosh (c+d x)}{a d}+\frac{6 f (e+f x)^2 \log \left (1+i e^{c+d x}\right )}{a d^2}+\frac{12 f^2 (e+f x) \text{Li}_2\left (-i e^{c+d x}\right )}{a d^3}-\frac{12 f^3 \text{Li}_3\left (-i e^{c+d x}\right )}{a d^4}+\frac{6 i f^3 \sinh (c+d x)}{a d^4}+\frac{3 i f (e+f x)^2 \sinh (c+d x)}{a d^2}-\frac{(e+f x)^3 \tanh \left (\frac{c}{2}+\frac{i \pi }{4}+\frac{d x}{2}\right )}{a d}\\ \end{align*}
Mathematica [B] time = 6.5947, size = 857, normalized size = 3.56 \[ \frac{\frac{i f^3 x^4 \sinh \left (c+\frac{d x}{2}\right ) d^4+4 i e f^2 x^3 \sinh \left (c+\frac{d x}{2}\right ) d^4+6 i e^2 f x^2 \sinh \left (c+\frac{d x}{2}\right ) d^4+4 i e^3 x \sinh \left (c+\frac{d x}{2}\right ) d^4-10 e^3 \sinh \left (\frac{d x}{2}\right ) d^3-10 f^3 x^3 \sinh \left (\frac{d x}{2}\right ) d^3-30 e f^2 x^2 \sinh \left (\frac{d x}{2}\right ) d^3-30 e^2 f x \sinh \left (\frac{d x}{2}\right ) d^3+2 e^3 \sinh \left (2 c+\frac{3 d x}{2}\right ) d^3+2 f^3 x^3 \sinh \left (2 c+\frac{3 d x}{2}\right ) d^3+6 e f^2 x^2 \sinh \left (2 c+\frac{3 d x}{2}\right ) d^3+6 e^2 f x \sinh \left (2 c+\frac{3 d x}{2}\right ) d^3-6 f^3 x^2 \cosh \left (2 c+\frac{3 d x}{2}\right ) d^2-6 e^2 f \cosh \left (2 c+\frac{3 d x}{2}\right ) d^2-12 e f^2 x \cosh \left (2 c+\frac{3 d x}{2}\right ) d^2+6 i f^3 x^2 \sinh \left (c+\frac{d x}{2}\right ) d^2+6 i e^2 f \sinh \left (c+\frac{d x}{2}\right ) d^2+12 i e f^2 x \sinh \left (c+\frac{d x}{2}\right ) d^2+6 i f^3 x^2 \sinh \left (c+\frac{3 d x}{2}\right ) d^2+6 i e^2 f \sinh \left (c+\frac{3 d x}{2}\right ) d^2+12 i e f^2 x \sinh \left (c+\frac{3 d x}{2}\right ) d^2-2 i (e+f x) \left (6 f^2+d^2 (e+f x)^2\right ) \cosh \left (c+\frac{d x}{2}\right ) d-2 i (e+f x) \left (6 f^2+d^2 (e+f x)^2\right ) \cosh \left (c+\frac{3 d x}{2}\right ) d-12 e f^2 \sinh \left (\frac{d x}{2}\right ) d-12 f^3 x \sinh \left (\frac{d x}{2}\right ) d+12 e f^2 \sinh \left (2 c+\frac{3 d x}{2}\right ) d+12 f^3 x \sinh \left (2 c+\frac{3 d x}{2}\right ) d+\left (x \left (4 e^3+6 f x e^2+4 f^2 x^2 e+f^3 x^3\right ) d^4+6 f (e+f x)^2 d^2+12 f^3\right ) \cosh \left (\frac{d x}{2}\right )-12 f^3 \cosh \left (2 c+\frac{3 d x}{2}\right )+12 i f^3 \sinh \left (c+\frac{d x}{2}\right )+12 i f^3 \sinh \left (c+\frac{3 d x}{2}\right )}{\left (\cosh \left (\frac{c}{2}\right )+i \sinh \left (\frac{c}{2}\right )\right ) \left (\cosh \left (\frac{1}{2} (c+d x)\right )+i \sinh \left (\frac{1}{2} (c+d x)\right )\right )}-\frac{8 i \left (d^3 (e+f x)^3+3 d^2 \left (1+i e^c\right ) f \log \left (1-i e^{-c-d x}\right ) (e+f x)^2+6 i \left (i-e^c\right ) f^2 \left (d (e+f x) \text{PolyLog}\left (2,i e^{-c-d x}\right )+f \text{PolyLog}\left (3,i e^{-c-d x}\right )\right )\right )}{-i+e^c}}{4 a d^4} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.183, size = 688, normalized size = 2.9 \begin{align*} 12\,{\frac{e{f}^{2}\ln \left ( 1+i{{\rm e}^{dx+c}} \right ) x}{a{d}^{2}}}+12\,{\frac{e{f}^{2}\ln \left ( 1+i{{\rm e}^{dx+c}} \right ) c}{a{d}^{3}}}+12\,{\frac{e{f}^{2}c\ln \left ({{\rm e}^{dx+c}} \right ) }{a{d}^{3}}}-12\,{\frac{e{f}^{2}c\ln \left ({{\rm e}^{dx+c}}-i \right ) }{a{d}^{3}}}-12\,{\frac{e{f}^{2}cx}{a{d}^{2}}}+4\,{\frac{{c}^{3}{f}^{3}}{a{d}^{4}}}-2\,{\frac{{x}^{3}{f}^{3}}{da}}-{\frac{{\frac{i}{2}} \left ({f}^{3}{x}^{3}{d}^{3}+3\,{d}^{3}e{f}^{2}{x}^{2}+3\,{d}^{3}{e}^{2}fx-3\,{d}^{2}{f}^{3}{x}^{2}+{d}^{3}{e}^{3}-6\,{d}^{2}e{f}^{2}x-3\,{e}^{2}f{d}^{2}+6\,d{f}^{3}x+6\,e{f}^{2}d-6\,{f}^{3} \right ){{\rm e}^{dx+c}}}{a{d}^{4}}}-{\frac{2\,i \left ({x}^{3}{f}^{3}+3\,e{f}^{2}{x}^{2}+3\,{e}^{2}fx+{e}^{3} \right ) }{da \left ({{\rm e}^{dx+c}}-i \right ) }}-12\,{\frac{{f}^{3}{\it polylog} \left ( 3,-i{{\rm e}^{dx+c}} \right ) }{a{d}^{4}}}+6\,{\frac{{f}^{3}{c}^{2}x}{a{d}^{3}}}-6\,{\frac{f\ln \left ({{\rm e}^{dx+c}} \right ){e}^{2}}{a{d}^{2}}}+6\,{\frac{{f}^{3}\ln \left ( 1+i{{\rm e}^{dx+c}} \right ){x}^{2}}{a{d}^{2}}}-6\,{\frac{{f}^{3}\ln \left ( 1+i{{\rm e}^{dx+c}} \right ){c}^{2}}{a{d}^{4}}}-6\,{\frac{e{c}^{2}{f}^{2}}{a{d}^{3}}}+6\,{\frac{f\ln \left ({{\rm e}^{dx+c}}-i \right ){e}^{2}}{a{d}^{2}}}+6\,{\frac{{f}^{3}{c}^{2}\ln \left ({{\rm e}^{dx+c}}-i \right ) }{a{d}^{4}}}-6\,{\frac{e{f}^{2}{x}^{2}}{da}}-6\,{\frac{{f}^{3}{c}^{2}\ln \left ({{\rm e}^{dx+c}} \right ) }{a{d}^{4}}}+12\,{\frac{{f}^{3}{\it polylog} \left ( 2,-i{{\rm e}^{dx+c}} \right ) x}{a{d}^{3}}}+12\,{\frac{e{f}^{2}{\it polylog} \left ( 2,-i{{\rm e}^{dx+c}} \right ) }{a{d}^{3}}}+{\frac{e{f}^{2}{x}^{3}}{a}}+{\frac{3\,{e}^{2}f{x}^{2}}{2\,a}}-{\frac{{\frac{i}{2}} \left ({f}^{3}{x}^{3}{d}^{3}+3\,{d}^{3}e{f}^{2}{x}^{2}+3\,{d}^{3}{e}^{2}fx+3\,{d}^{2}{f}^{3}{x}^{2}+{d}^{3}{e}^{3}+6\,{d}^{2}e{f}^{2}x+3\,{e}^{2}f{d}^{2}+6\,d{f}^{3}x+6\,e{f}^{2}d+6\,{f}^{3} \right ){{\rm e}^{-dx-c}}}{a{d}^{4}}}+{\frac{{x}^{4}{f}^{3}}{4\,a}}+{\frac{{e}^{3}x}{a}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.98274, size = 906, normalized size = 3.76 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 2.6279, size = 1904, normalized size = 7.9 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (f x + e\right )}^{3} \sinh \left (d x + c\right )^{2}}{i \, a \sinh \left (d x + c\right ) + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]